募捐 9月15日2024 – 10月1日2024 关于筹款
1
A Computational Logic

A Computational Logic

Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
年:
1979
语言:
english
文件:
PDF, 19.40 MB
0 / 0
english, 1979
5
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
年:
2000
语言:
english
文件:
DJVU, 2.07 MB
0 / 0
english, 2000
7
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
年:
2000
语言:
english
文件:
PDF, 8.93 MB
0 / 0
english, 2000